``Pathologies'' in two syntactic categories of partial maps.
نویسندگان
چکیده
منابع مشابه
Restriction categories I: categories of partial maps
Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categori...
متن کاملOrder-Enrichment for Categories of Partial Maps
Synopsis Motivated by the desire of treating non-termination directly in the semantics of computation, the notion of approximation between programs is studied in the context of categories of partial maps. In particular, contextual approximation and specialisation are considered and shown to coincide. Moreover, after exhibiting the approximation between total maps as a primitive notion, from an ...
متن کاملAxiomatic domain theory in categories of partial maps
Some people may be laughing when looking at you reading in your spare time. Some may be admired of you. And some may want be like you who have reading hobby. What about your own feel? Have you felt right? Reading is a need and a hobby at once. This condition is the on that will make you feel that you must read. If you know are looking for the book enPDFd axiomatic domain theory in categories of...
متن کاملsynthesis of platinum nanostructures in two phase system
چکیده پلاتین، فلزی نجیب، پایدار و گران قیمت با خاصیت کاتالیزوری زیاد است که کاربرد های صنعتی فراوانی دارد. کمپلکس های پلاتین(ii) به عنوان دارو های ضد سرطان شناخته شدند و در شیمی درمانی بیماران سرطانی کاربرد دارند. خاصیت کاتالیزوری و عملکرد گزینشی پلاتین مستقیماً به اندازه و- شکل ماده ی پلاتینی بستگی دارد. بعضی از نانو ذرات فلزی در سطح مشترک مایع- مایع سنتز شده اند، اما نانو ساختار های پلاتین ب...
In Vitro Cytotoxicity of Two Categories of Dental Cements
Background and Aim: Resin cements are used widely in restorative dentistry regardless of their biocompatibility. The aim of this study was to compare the cytotoxicity of two categories of dental cements consisting of three chemically set cements (Fuji I, Fuji PLUS and Harvard) and two dual curing cements (BisCem and Duo-Link) by use of MTT assay. Materials and Methods: In this experimental s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1988
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093634998